Failed to solve the following constraints:
  Resolve instance argument _a_5 : A
  Candidates
    a₁ : A
    a₂ : A
Unsolved metas at the following locations:
  InstanceArgumentsAmbiguous.agda:8,8-9
